Publications

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

Kalaji Abdul Salam, Hierons Robert Mark, Swift Stephen

Information and Software Technology Vol 53, pp. 1297-1318 (2011)

https://doi.org/10.1016/j.infsof.2011.06.004

Generating feasible transition paths for testing from an extended finite state machine (EFSM) with the counter problem

Kalaji Abdul Salam, Hierons Robert Mark, Swift Stephen

2010 Third International Conference on Software Testing, Verification, and Validation Workshops 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, pp. 232-235 (2010)

https://doi.org/10.1109/ICSTW.2010.25

A search-based approach for automatic test generation from extended finite state machine (EFSM)

Kalaji AbdulSalam, Hierons Rob Mark, Swift Stephen

2009 Testing: Academic and Industrial Conference - Practice and Research Techniques 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques, pp. 131-132 (2010)

https://doi.org/10.1109/TAICPART.2009.19

A testability transformation approach for state-based programs

Kalaji AbdulSalam, Hierons Robert Mark, Swift Stephen

2009 1st International Symposium on Search Based Software Engineering 2009 1st International Symposium on Search Based Software Engineering, pp. 85-88 (2009)

https://doi.org/10.1109/SSBSE.2009.14

Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)

Kalaji Abdul Salam, Hierons Robert Mark, Swift Stephen

2009 International Conference on Software Testing Verification and Validation 2009 International Conference on Software Testing Verification and Validation, pp. 230-239 (2009)

https://doi.org/10.1109/ICST.2009.29

More publications